منابع مشابه
Nikolaos Galatos
Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation pro...
متن کاملNikolaos Frangogiannis
Nikolaos G. Frangogiannis, MD, is the Edmond J. Safra/Republic National Bank of New York Professor of Cardiovascular Medicine at the Albert Einstein College of Medicine in the Bronx. Frangogiannis graduated from the University of Athens School of Medicine in 1990 and two years later left his native Greece to pursue a residency in Internal Medicine at Baylor College of Medicine in Houston. Accep...
متن کاملAnnual Postgraduate Progress Report Nikolaos Papanikolaou
This paper discusses the use of computer–aided verification as a practical means for analysing quantum information systems; specifically, the BB84 protocol for quantum key distribution is examined using this method. This protocol has been shown to be unconditionally secure against all attacks in an information– theoretic setting, but the relevant security proof requires a thorough understanding...
متن کامل309-311 Nikolaos G. Malliaropoulos .qxd:-
Hamstring muscle injuries are frequent in different sports and are a clinical challenge for Sports Medicine Teams. Injury Mechanics are import to know while assessing the injured athlete. There are at least two distinctly different types of acute hamstring injuries, which are best distinguished by the different injury situations. Classifying the severity of the injury is equally important. Acti...
متن کاملSelf-protecting Systems -analysis and Comparison (by Nikolaos Michalakis)
This document analyses five systems that protect themselves from failures and malicious attacks by coupling and automating protection with their regular operation. We call such systems self-protecting. The goal of designing self-protecting systems is to reduce the trust placed on humans or external protection mechanisms and the corresponding manageability costs. The systems analyzed are: Practi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta medico-historica Adriatica
سال: 2018
ISSN: 1334-6253,1334-4366
DOI: 10.31952/amha.16.2.4